Electronic Books

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical ...